White-box testing